$\forall$$r$:Rng, $i$, $j$:$\mathbb{Z}$.
\\[0ex]($i$ $<$ $j$)
\\[0ex]$\Rightarrow$ ($\forall$$E$:(\{$i$..$j$$^{-}$\}$\rightarrow\mid$$r$$\mid$). ($\Sigma$($r$) $i$ $\leq$ $k$ $<$ $j$. $E$($k$)) = ($E$($i$) +$r$ ($\Sigma$($r$) $i$+1 $\leq$ $k$ $<$ $j$. $E$($k$))) $\in$ $\mid$$r$$\mid$)